<?php
/**
 * Created by PhpStorm.
 * User: lenovo
 * Date: 2018/9/29
 * Time: 20:00
 */
session_start();

if(isset($_SESSION["user"])){
    print_r(json_encode($_SESSION["user"]));
}else{
    print_r("false");
}